VDict mobile



higherorder logic not found. Suggestions:

neutrosophic logic
propositional logic
predicate logic
equational logic
EQLog
logic
Emitter Coupled Logic
Algebraic Logic Functional language
F+L
LeFun